/*
 * extmanager.c
 *
 *  Created on: 13.01.2013
 *      Author: Michael
 */

/*
 * ======== Project related includes ========
 */
#include "extensions/extmanager.h"

Extension_t extmngr_getExtensions() {
	return extensions;
}
